Nuprl Definition : ma-interface-triggers-list 11,40
[[I|]] == map(i.[[I|i]];remove-repeats(IdDeq;ma-interface-locs(I))) 
latex

clarification:

ma-interface-triggers-list{i:l}
ma-interface-triggers-list(es; I)
== map(i.ma-interface-triggers{i:l}(es; i; I);remove-repeats(IdDeq;ma-interface-locs(I))) 
latex

Definitionsmap(f;as), x.A(x), [[I|i]], remove-repeats(eq;L), IdDeq, ma-interface-locs(I)
FDL editor aliasesma-interface-triggers-list

origin